﻿Изучение FP-алгебры программ 
admin|2009/01/18 15:07:53
##PAGE##
Добро пожаловать в систему изчения FP-алгебры программ!


[imageright|Джон Бэкус, автор FP|{UP}backus_1_jpg.jpg|John Backus]

 Эта система посвященна изучению одного из первых функциональных языков программирования - FP, который был предложен [John Backus|Джоном Бэкусом] в начале 70-х годов.
Несмотря на то, что ему не сравнится по мощности с современным функциональными языками, он обладает набором привлекательных черт:

# Небольшой объем
# Несложная семантика
# Мощная алгебра для преобразования и исследования программ.

 Именно последняя черта делает его столь мощным инструментом в руках исследователя.

 Система содержит:
# Описание конструкции языка FP
# Примеры программ
# Мощный интерактивный интерпретатор, способный аннотировать процесс вычислений.
# Материалы по алгебре программ
# Тестовые задания













